Axiomatic Method
述語論理を元にした公理的な方法
e.g.
IOTA Method
Larch
Anna
https://www.sciencedirect.com/topics/mathematics/axiomatic-method
これかな？読んでないけど